$\forall$$a$, $b$, $c$:$\mathbb{Q}$. ($\neg$($c$ = 0 $\in$ $\mathbb{Q}$)) $\Rightarrow$ (($a$ = $b$) $\Leftarrow\!\Rightarrow$ (($c$ $\ast$ $a$) = ($c$ $\ast$ $b$) $\in$ $\mathbb{Q}$))